Programming domain - PDFSEARCH.IO - Document Search Engine

Programming domain
Results: 506

#	Item
121	C ONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs Tayfun Elmas : Jacob Burnim ; Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:24:49 Concurrency control Concurrent computing Monitor Thread Concurrent data structure Parallel computing Lock Oz Scheduling Computing Computer programming Software engineering
122	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-11-24 11:04:49 Applied mathematics Science Artificial intelligence Mathematical optimization Linear programming Grammatical aspect Control theory MPS Scheduling Operations research Automated planning and scheduling Planning Domain Definition Language
123	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2008-12-15 06:35:41 Artificial intelligence Planning Domain Definition Language Applied mathematics MPS Linear programming Function STRIPS Automated planning and scheduling Mathematics Operations research
124	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2008-06-25 17:51:55 Applied mathematics Automated planning and scheduling Planning Domain Definition Language Linear programming Convex optimization Econometrics Linear programming relaxation Regression analysis Heuristic function Mathematical optimization Mathematics Operations research
125	The five articles in this special issue are the extended, journal versions of the papers first presented at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. PEPM’12 took place in January 20 Add to Reading List Source URL: okmij.org Language: English - Date: 2013-07-16 20:02:01 Type theory Theoretical computer science Functional languages Cross-platform software Functional programming Domain-specific language Type system Scala Partial evaluation Computing Software engineering Programming language theory
126	WHAT IS SPACECHEM? SpaceChem is an intriguing, "problem-solving centric" puzzle game by Zachtronics Industries that combines the logic of computer programming with the scientific domain of chemistry, set in an original s Add to Reading List Source URL: www.zachtronics.com Language: English - Date: 2014-07-02 14:10:31 Puzzle video games Cross-platform software SpaceChem Zachary Barth Chemistry Screenshot Inform Software Windows games Linux games
127	SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers Yoann Padioleau ∗ Julia L. Lawall Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:12 C programming language Linux Linux kernel ALGOL 68 C++ classes Patch Struct Computing Software C++
128	C:/Users/jcabot/Documents/My Dropbox/OCLChapter/finalversion/OCLChapter.dvi Add to Reading List Source URL: modeling-languages.com Language: English - Date: 2012-03-21 19:16:58 Object-oriented programming Theoretical computer science ISO standards Data types Type theory Object Constraint Language ECO Domain-specific language EXPRESS Software engineering Unified Modeling Language Computing
129	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-28 07:00:44 Theoretical computer science Software design Software development process Domain-specific language Functional languages Procedural programming languages Synthesizer Algorithm Test-driven development Software engineering Computing Software development
130	“Unrolling” Complex Task Models into MDPs Robert P. Goldman David J. Musliner Mark S. Boddy Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Dynamic programming Heuristics Mathematical sciences Stochastic control Markov processes Automated planning and scheduling Markov decision process Planning Domain Definition Language Algorithm Statistics Control theory Operations research

UPDATE